Pendapat mengenai perisian computer membiak sendiri boleh dijejak sehingga 1949 apabila John von Neumann membentangkan syarahan yang merangkumi teori dan aturan automata rumit.[4] Neumann menunjukkan bahawa secara teori aturcara mampu membiak sendiri. Ini membentuk hasil mungkin dalam teori komputer. Fred Cohen menguji dengan virus computer dan mengesahkan jangkaan Neumann. Dia turut menyiasat cirri lain malware (dapat dikesan, aturcara pengkaburan diri (‘’self-obfuscating’’) yang menggunakan enkripsi asas yang digelarnya "evolution", dan sebagainya). Dissertation kedoktorannya adalah berkenaan subjek virus komputer.[5] Penasihat fakulti Cohen, Leonard Adleman (A dalam RSA) membentangkan bukti kuat bahawa, dalak kes umum, algorithm bagi memastikan samaada virus hadir atau tidak adalah tidak dapat ditentukan Turing.[6] Masaalah ini hendaklah dibezakan dari menentukan, dalam kelas umum aturcara, bahawa virus tidak ada; masaalah ini berbeza dalam bentuk ia tidak memerlukan keupayaan bagi mengenalpasti semua virus. Bukti Adleman kemungkinannya hasil mendalam bagi teori malware sehingga kini dan ia bergantung kepada penegasan melintang Cantor (Cantor's diagonal argument) termasuk juga masaalah menghentikannya.